Skip to content

Industry Affiliates

Research Showcase

The Allen School’s premier in-person event, the Annual Research Showcase and Open House, highlights both the breadth and depth of computing innovation.

Celebrating Research

October 29, 2026

Our Research Showcase allows affiliates, alumni, and friends to engage with students and faculty through technical talks during the day, followed by an open house featuring a reception, poster sessions, and the awarding of the Madrona Prize and People’s Choice Prize.

View the Agenda

2026 Event Details

Thursday, October 29, 2026

Bill & Melinda Gates Center for Computer Science & Engineering

Paul G. Allen Center for Computer Science & Engineering

University of Washington

Register Online

Daytime Program: Research Presentations

The day begins at 9:00 a.m. with registration (and coffee!).

  • 9:00 – 10:15 a.m.: A coffee and networking Meet & Greet for Research Affiliate Groups
  • 10:30 – 10:30 a.m.: Registration and coffee in the Singh Gallery, located on the fourth floor of the Gates Center.
  • 10:30 – 11:30 a.m.: Welcome and Overview by Dan Grossman and Shwetak Patel, Zillow Commons, located on the fourth floor of the Gates Center.
  • 12:25 – 1:25 p.m.: Keynote talk + Lunch + Networking, Microsoft Atrium in the Allen Center
  • 1:30 – 4:55 p.m.: Technical sessions in multiple tracks focused on specific themes

Evening Program: Open House & Student Poster Session

Join us for a festive evening in the Allen Center.

  • 5:00 – 7:00 p.m.: Open house: reception, poster session, and socializing
  • 7:15 – 7:30 p.m.: Presentation of the Madrona Prize and People’s Choice Prize

Getting here: Directions, parking, and hotel information


2026 Session Topics At A Glance:

  • Accessibility
  • AI for Health
  • AI for the Environment
  • AI & Systems
  • CS Education in the Age of AI
  • Data Management & AI
  • Graphics & Vision
  • Robotics
  • Security in the Age of AI
  • Transparent & Equally Beneficial AI

2026 Research Showcase Agenda

Click the links below to learn more about each session’s technical talks, including the speaker, subjects, locations, and times.

Morning

Research Group Affiliates – Coffee and Networking

Time: 9:00 – 10:15 a.m.
Location: Various labs

Registration and Coffee

Time: 10:00 – 10:30 a.m.
Location: Singh Gallery, 4th floor Gates Center

Welcome and Overview

Time: 10:30 – 11:30 a.m.
Speakers: Dan Grossman and Shwetak Patel + various faculty on research areas
Location: Zillow Commons, 4th floor Gates Center


Session I

Time: 11:30 a.m. – 12:20 p.m. (*current times listed may change)

CS Education in the Age of AI Faculty Panel Discussion (Gates Center, Zillow Commons)

Faculty Panel Discussion

Moderator: Magda Balazinska

Panelists: Taylor Kessler-Faulkner, Steve Seitz, Ben Shapiro, and James Weichert


Lunch + Keynote Talk

Time: 12:25 – 1:25 p.m.

Systems for Future Intelligence (Microsoft Atrium, Allen Center)

Keynote Speaker: Stephanie Wang

Abstract: While AI agents have revolutionized software engineering, it remains very challenging to build state-of-the-art AI systems. This is in part because of the long tail of workloads in both training and inference, spanning many use cases, models, and hardware. Such diversity demands optimizations tailored to the workload. In this talk, I’ll discuss some of our ongoing work on harnessing coding agents to autonomously build reliable and production-quality AI systems.

Portrait of Stephanie Wang

Biography: Stephanie Wang joined the faculty of the Paul G. Allen School of Computer Science & Engineering at the University of Washington in fall 2024. Her research is primarily in distributed systems. She is especially interested in how we can build intermediate abstractions that make it easier to build high-performance, fault-tolerant, and domain-specific systems. Along those lines, she is interested in domains where large-scale application development is still pretty hard, such as machine learning and data processing. She’s also interested in programming languages as the interface that can improve distributed systems.

Previously, Wang was a Ph.D. student in the RISELab at UC Berkeley, where she was advised by Ion Stoica. She is also a co-creator and committer for the open-source project, Ray, which has been used to train ChatGPT, serve high-performance LLMs, and break the CloudSort 100TB record. She subsequently continued to develop the Ray ecosystem as a software engineer at Anyscale, working primarily on Ray Data, a system for distributed data preprocessing for ML.


Session II

Time: 1:30 – 2:35 p.m. (*current times listed may change)

AI & Systems (Gates Center, Room 271)

Introduction and Overview, Speaker TBD

Symbolic Relations for Network Change Verification, Brody Franks

Abstract: Relational network verification is a practical way to validate network changes without requiring exhaustive specifications, but existing tools compare a pair of concrete network states (pre- and post-change). They cannot answer what operators often care about: across the space of all possible network environments, which includes external route advertisements and failures, which behaviors could be affected by a change, and how? To answer this question, we introduce Symbolic Relation Algebra (SRA), a new language and engine for network change verification. SRA can: (1) verify both the control plane and the data plane, in one general formalism, (2) customize the data representation at a low level of granularity, while retaining the same frontend specification, (3) support specialized data structures that hybridize concrete and symbolic verification and are efficient on real-world workloads. SRA models network behaviors as binary relations whose fields may range over large domains. Input specifications are lowered to query plans over field-decomposed decision diagrams, propagating intermediate constraints lazily during specification checking. We demonstrate the effectiveness of our tool by applying SRA to representative network-change scenarios, examining both its expressiveness and performance. We show that SRA checks symbolic relational specifications 25-541× faster than a general-purpose solver.

Topic TBD

Abstract: Coming soon

Topic TBD

Abstract: Coming soon

Accessibility (Gates Center, Room 371)

Introduction and Overview, Jennifer Mankoff

View the Grand Challenge that relates to this topic

ArtInsight: AI-Powered Artwork Engagement for Mixed Visual-Ability Families, Arnavi Chheda-Kothary

Abstract: I will introduce ArtInsight, a novel AI-powered system to facilitate deeper engagement with child-created artwork in mixed visual-ability families. ArtInsight leverages large language models (LLMs) to craft a respectful and thorough initial description of a child’s artwork, and provides: creative AI-generated descriptions for a vivid overview, audio recording to capture the child’s own description of their artwork, and a set of AI-generated questions to facilitate discussion between blind or low-vision (BLV) family members and their children. We evaluated ArtInsight with five groups of BLV family members and their children. Our findings highlight a preference for ArtInsight’s longer, artistically-tailored descriptions over those generated by existing BLV AI tools. Participants highlighted the creative description and audio recording components as most beneficial, with the former helping “bring a picture to life” and the latter centering the child’s narrative to generate context-aware AI responses. I will also discuss the formative work that led to ArtInsight, as well as a deployment study where we observed real-world use cases of ArtInsight over several weeks in family and educational settings.

TaskAudit: Detecting Functiona11ity Errors in Mobile Apps via Agentic Task Execution, Mingyuan Zhong

Abstract: Coming soon

Transparent & Equally Beneficial AI (Gates Center, Zillow Commons)

Introduction and Overview, Katharina Reinecke

View the Grand Challenge that relates to this topic

AI Safety Is a Multi-agent Problem, Carrie Juan

Abstract: When we train AI, we assume the classic MDP paradigm, where the AI is training against a static environment. But the real world is not static. It’s full of humans who change and adapt as a result of using AI. As AI is deployed into the world, it alters both the people who use it (through social sycophancy and cognitive decline) and even our collective culture. One example is the artificial hivemind: language models increasingly produce the same homogeneous outputs. Another is the way LLMs distort our written language. In this talk, I will argue that AI safety is a multi-agent problem, and I will present MODA, a multi-agent approach to diverse generation. MODA treats each mode as a lightweight agent within a single shared policy, and it trains these agents to produce responses that are both high quality and diverse. This addresses a critical issue for building transparent and globally beneficial AI.

Open AI Infrastructure to Accelerate Science, Jacob Morrison

Abstract: Scientists need to understand and control the tools they work with. Most capable AI systems are closed, so researchers can use them but cannot see how they were built, adapt them to their own data, or measure what they cost. At Ai2, we address this by releasing the full model flow for our Olmo models, including the training data, code, recipes, intermediate checkpoints, and evaluations for every stage of training. In this talk, I will argue that AI built for science needs this kind of openness, and I will describe three recent projects that build on it. Olmo Hybrid is our first hybrid model that we find trains more efficiently than a standard transformer. A study of Olmo 3’s development accounts for the energy, water, and compute behind every run, including all research and development. Branch-Adapt-Route adds new domain expertise to a trained model without retraining it from scratch. Together, these projects show how open models let researchers study, adapt, and specialize AI for their own needs.

African Data Ethics: A Discursive Framework for Black Decolonial AI Ethics, Teanna Barrett

Abstract: The shift towards pluralism in global data ethics acknowledges the importance of including perspectives from the Global Majority to develop responsible data science practices that mitigate systemic harms in the current data science ecosystem. Sub-Saharan African (SSA) practitioners, in particular, are disseminating progressive data ethics principles and best practices for identifying and navigating anti-blackness and data colonialism. To center SSA voices in the global data ethics discourse, we present a framework for African data ethics informed by the thematic analysis of an interdisciplinary corpus of 47 documents. Our framework features six major principles: 1) Challenge Power Asymmetries, 2) Assert Data Self-Determination, 3) Invest in Local Data Institutions & Infrastructures, 4) Utilize Communalist Practices, 5) Center Communities on the Margins, and 6) Uphold Common Good. We compare our framework to seven particularist data ethics frameworks to find similar conceptual coverage but diverging interpretations of shared values. Finally, we discuss how African data ethics demonstrates the operational value of data ethics frameworks. Our framework highlights Sub-Saharan Africa as a pivotal site of responsible data science by promoting the practice of communalism, self-determination, and cultural preservation.

Beyond the Conversation: Designing the Architecture Around AI in Mental Health, Jina Suh

Abstract: General-purpose conversational AI has become so embedded in everyday life that it works like a utility, and it now shapes how millions of people experience distress. Yet we still evaluate it like a product, one conversation at a time. This talk draws on surveys, interviews, and lived-experience accounts from people who turned to AI in distress. It looks at what happens around the conversation, following the whole journey: why people came to AI in the first place, what happened during the interaction, and what they did afterward. A safety redirect can score well on a benchmark and still cause harm, and people whom AI referred to a helpline rarely called it. The talk then looks at the people who carry the consequences of each safety feature: clinicians, crisis lines, families, communities, and the reviewers behind the scenes. It also covers the value tensions any design has to work through, such as intervention versus autonomy. I argue that the design problem is architectural. It is about who is accountable, what gets measured, and what paths a person has to safety. Standards should apply to that architecture: consent given in advance, multiple paths to safety, and measuring the whole journey. The responses themselves should stay tailored to the person.


Session III

Time: 2:40 – 3:45 p.m. (*current times listed may change)

Robotics (Gates Center, Room 271)

Introduction and Overview, Abhishek Gupta

From Policy Models to World Action Models, Ge Yan

Abstract: Robot learning has long relied on policy models that map observations directly to actions, while world action models (WAMs) that jointly predict future observations and actions are emerging as a powerful alternative. In this talk, I will trace this shift through my work, from ManiFlow, a flow-matching manipulation policy, and UniFlow, a unified 2D and 3D multi-modal policy, to Flex-π, a multi-stream world action model that jointly predicts future video, DINO semantics, 3D point maps, and actions. A single Flex-π model can run as a fast action-only policy, a full world action model, or anything in between at inference time, and it more than doubles the real-world success rate of the strongest baseline on bimanual, dexterous, and high-precision manipulation tasks.

Biography: Ge Yan is a Ph.D. student at the University of Washington, advised by Dieter Fox, and works with the Toyota Research Institute. His research focuses on robot learning, in particular multi-modal policy and world action models that combine video, semantic, and 3D representations for dexterous manipulation. His recent work includes ManiFlow, UniFlow, and Flex-π. 

Large-Scale Reinforcement Learning in Simulation for Dexterous Robotic Assembly, Patrick Yin

Abstract: Robot learning needs large, diverse data to acquire dexterous, general-purpose skills. Physics simulation can generate that data at scale, but two central challenges remain. The first is generating meaningful behaviors in simulation without extensive human effort. The second is deciding what to train on as task complexity and the number of tasks grow. This talk presents three works that build on each other to address these challenges. OmniReset makes long-horizon reinforcement learning tractable by training from a broad distribution of reset states with a single reward function. It removes the need for demonstrations, curricula, and reward tuning, producing skills such as screwing, insertion, and assembly that transfer to real hardware from RGB cameras. SGS (Success-Guided Sampling) adaptively focuses training on the tasks and conditions where the policy is still learning. AlphaNIST combines these ideas to train a single policy on all 20 tasks of the NIST assembly board using only binary task rewards. It reaches 98.2% overall success and outperforms specialists trained on each task separately. Together, these results suggest that binary task rewards and multi-task training, both historically harder, become advantages at scale.

Biography: Patrick Yin is a Ph.D. student at the University of Washington’s Paul G. Allen School of Computer Science & Engineering, advised by Abhishek Gupta, and an NSF Graduate Research Fellow. He is also a research intern at NVIDIA. His research focuses on sim-to-real reinforcement learning for contact-rich robotic manipulation. Previously, he interned at Microsoft Research and completed his undergraduate studies at UC Berkeley, where he worked with Sergey Levine.

Cyber-Mechanical Intelligence: Creating Near-Gram Robots That Can Move Autonomously, Kyle Johnson

Abstract: Near-gram robots capable of autonomous movement could transform distributed sensing, environmental monitoring, and inspection in environments inaccessible to larger platforms, yet achieving true autonomy at sub-gram scales demands a fundamentally different design philosophy. This talk introduces Cyber-Mechanical Intelligence (CMI), a co-design paradigm that treats the location of intelligence within a robot as a design variable, distributing autonomous function across physical, electronic, and computational domains to meet task requirements while minimizing system-level resource cost. Three robotic systems are presented as demonstrations of CMI in practice. The Origami Microflier (414 mg) encodes aerodynamic decision-making into a bistable origami structure, enabling solar-triggered mid-air morphological reconfiguration and programmable dispersal of up to 98 m without continuous power. The MilliMobile achieves battery-free terrestrial locomotion from ambient solar and RF energy as low as 50 µW, and extends to onboard visual navigation through a lightweight embedded vision pipeline. The Coin-Copter offloads roll and pitch stabilization to passive flybar-rotor dynamics, reducing the sensing and control burden of a 1 g aerial vehicle while demonstrating closed-loop yaw control and a lift-to-weight ratio of 4.2. Together, these systems argue that intelligent behavior in resource-constrained robots is best understood as a property of the complete cyber-mechanical system, not of computation alone.

Graphics & Vision (Gates Center, Room 371)

Introduction and Overview, Linda Shapiro

Online Neural Space Time Memory for Dynamic Novel View Synthesis, Baback Elmieh ↗

Abstract: Online novel view synthesis from multi-view streaming videos faces a fundamental trade-off: maintaining a persistent, long-horizon memory to reconstruct temporarily occluded regions while operating under strict real-time constraints. While Test-Time Training (TTT) offers a powerful memory mechanism, standard models mandate gradient-based memory updates at every frame to adapt to the changing motion in dynamic scenes. The computational cost of heavy memory updates precludes real-time application and can lead to instability over long contexts. Given that memory updates are more demanding than memory application and video content is largely redundant, we propose to decouple the frequencies of these two processes. Our approach performs periodic memory updates while applying the memory on a per-frame basis, using cross-view attention to manage deformations between the prior memory state and the current frame. To lock in the historical context, we introduce two critical mechanisms: an auxiliary Memory Loss that forces persistent internalization of the scene, and a Memory Caching strategy that regularizes active weights against catastrophic drift. Our method demonstrates state-of-the-art minute-scale memory persistence in online dynamic human scenes at amortized real-time speed. Visit webpage ↗

Biography: Baback Elmieh is a Computer Science PhD student at the University of Washington, where his research focuses on generative video models, real-time interactive systems, and persistent visual memory for dynamic 3D scenes. His recent work on Neural Space-Time Memory addresses a key challenge in immersive 3D telepresence: synthesizing consistent views of moving people by remembering visual details that are no longer visible to the cameras. Before returning to academia, he spent over two decades developing video games, real-time 3D rendering technologies, and AR/VR systems at Google, Meta, Qualcomm, and several startups. His work on Google’s Spotlight Stories earned an Academy Award nomination and an Emmy for innovation in interactive storytelling.

Toward Interactive Multimodal Agents, Zixian Ma ↗

Abstract: Multimodal agents have the potential to become a new interface through which people interact with digital and physical environments. While recent advances have enabled agents to perceive complex visual scenes and perform increasingly sophisticated tasks, building agents that can interact effectively with people and dynamic environments remains an open challenge. In this talk, I will present my research toward interactive multimodal agents, progressing from perception to action to interaction. I will first introduce Molmo2, a multimodal foundation model for understanding and grounding visual information. I will then discuss how multimodal capabilities extend to tool use and autonomous action through LATTE and MolmoWeb, which enable agents to interact with tools and navigate websites visually. Finally, I will introduce our ongoing work on Interactive Visual Gym, an environment for training and evaluating agents that interact with humans in dynamic tasks such as cooking and navigation. Together, these works explore how to move beyond multimodal understanding and autonomous task execution toward agents that can continuously perceive, act, and collaborate with people.

Biography: Hi! I am a 4th-year Ph.D. student in Computer Science and Engineering at the University of Washington, advised by Prof. Ranjay Krishna and Prof. Dan Weld, and supported by the Qualcomm Innovation Fellowship and Two Sigma PhD Fellowship. I build open multimodal models (Molmo2, MolmoPoint), agents that act on the web and with tools (MolmoWeb, LATTE), and benchmarks of what these systems can and can’t do (Task Me Anything, CREPE). Currently, I’m especially interested in real-time, interactive multimodal models and agents.

Do Medical Language Models Preserve Correct Judgement Under Misleading Context?, Simon Zou

Abstract: Clinical and consumer-facing deployments of large language models (LLMs) can now achieve expert-level scores on medical question-answering benchmarks based on licensing exams. However, real-world questions from users rarely resemble the clean, single-turn exam questions in these benchmarks. In reality, interactions are often layered with patient-reported history, retrieved documents, and false claims. This thesis asks whether an LLM that answers a medical question correctly in a clean environment continues to be correct once such misleading context is added. In short, it often does not. To study this question at scale, this thesis presents MedMisBench, a benchmark of 10,932 medical question items paired with 48,889 misleading context option sentences spanning medical-reasoning, agentic-capability, and patient-journey question formats. Each injected sentence is constructed along two independent axes that separately capture the type of medical false claim and its apparent source. This way, failures can be attributed to what is false and who asserts it. Evaluated across 11 configurations of commercial, open-source, and medical-domain LLMs, mean answer accuracy falls from 71.1% on clean questions to 38.0% once an injection sentence is prefixed to one answer option, with a mean attack success rate of 51.5%. Fabricated treatment exceptions and claims attributed to clinical authorities are consistently the most effective types in lowering the accuracy of LLMs, with attack success rates as high as 64.1% and 69.5% respectively. A panel of 14 clinical reviewers spanning 7 countries judged that 38.2% of these injection-induced errors carried serious potential harm to a patient. These findings indicate that strong performance on existing medical benchmarks does not mean that a model will preserve sound clinical judgment once its context is contaminated by misleading information. By releasing MedMisBench as a static, reusable benchmark, this work provides a foundation for evaluating and eventually mitigating this gap between benchmark performance and real-world robustness.

Biography: I’m a first-year Ph.D. student in Electrical and Computer Engineering here at UW, advised by Professor Linda Shapiro. My research focuses primarily on medical applications of computer vision and AI, from evaluating whether medical language models hold on to correct answers under misleading context to building egocentric vision systems that automate welfare checks for laboratory animals. I’m co-first author of MedMisBench, the NeurIPS 2026 benchmark paper I’m presenting today. I hold an M.S. from the University of Washington and a B.A.Sc. in Systems Design Engineering from the University of Waterloo.

Measurement-Conditioned Virtual Try-On, Yuanhao Wang ↗

Abstract: Real-world clothing try-on serves two purposes: visualizing how a garment looks on the body, and seeing how a specific size actually fits—whether it stretches tightly or drapes loosely. Current Virtual Try-On (VTO) models address appearance but ignore fit; conditioned only on 2D images, they default to synthesizing deceptively well-fitted results regardless of garment dimensions. In this work, we present RealFIT, the first scalable framework for real-world, measurement-conditioned virtual try-on across complex apparel categories. To overcome the scarcity of metric-labeled data and the sim-to-real gap of 3D physics engines, we introduce a multi-tier data hierarchy combining web retail metadata, VLM-assisted annotations, and a newly curated real-world dataset with tape-measured ground truth. We further propose a flow-matching VTO architecture featuring a dedicated measurement encoder and a Localized Metric Contrastive (LMC) loss that contrasts velocity fields across sizing perturbations to sharpen fit sensitivity. Finally, we establish a systematic evaluation protocol and demonstrate that RealFIT achieves state-of-the-art photorealism, fit accuracy, and size controllability.

Biography: Yuanhao is a second-year PhD student in the Graphics and Imaging Lab at UW, co-advised by Prof. Ira Kemelmacher-Shlizerman and Prof. Steve Seitz. He is also a student researcher at Google. Before UW, he was a master’s student at Carnegie Mellon University advised by Prof. Fernando De la Torre, and an undergraduate student at Brown University advised by Prof. James Tompkin. His research focuses on computer vision and generative models.

Security in the Age of AI (Gates Center, Zillow Commons)

Introduction and Overview, Franzi Roesner

View the Grand Challenge that relates to this topic

Online Safety in the Age of AI, Grace Brigham

Abstract: As AI technologies proliferate online, they are reshaping the online safety landscape by creating new ecosystems and disrupting existing ones. Understanding these impacts and developing effective responses is a pressing priority for security research. In our work, we employ human-centered methods to address this challenge, with a specific focus on at-risk users.

Reverse Engineering the Data Mixture, Sewoong Oh

Abstract: We are living in a data-centric AI era where data is the key in making frontier models. One secret that frontier labs guard fiercely is data mixture: how much data from each source should we mix in to create the pile of data for training the model? We reverse engineer this data mixture for proprietary models, using information from their tokenizers.

Benchmarking and Defending Against AI-Assisted Bioweapon Development, Henry Wong

Abstract: AI-assisted bioweapons development has become a recent concern due to the rise of biological design tools such as ProteinMPNN and Evo2, along with advancements in automated laboratory instrumentation such as benchtop DNA synthesizers and cloud lab innovations. This talk will lay out specific cyberbiosecurity threat models enabled by AI and automation, and present our recent work in benchmarking and mitigation.

Privacy-Preserving Authentication of Digital Identity, Champ Chairattana-apirom

Abstract: Digital identification and authentication are becoming increasingly important in our everyday lives. From new age-verification legislation, the European Union’s push for digital identity wallets, to the growing use of AI agents to interact with online services, these developments raise important questions and concerns about user privacy. In this talk, we discuss how cryptographic tools can help address these privacy concerns, enabling users to authenticate themselves without revealing unnecessary personal information.


Session IV

Time: 3:50 – 4:55 p.m. (*current times listed may change)

AI for the Environment (Gates Center, Room 271 )

Introduction and Overview, Vikram Iyer

View the Grand Challenge that relates to this topic

Topic TBD

Abstract: Coming soon

Vision foundation models for species-agnostic behavior analysis, Moses Lurbur

Abstract: Generalizable, accessible tools for quantifying and classifying animal behavior in videos are crucial for conservation, biology, and medicine. Across the rich suite of tools for analyzing animal behavior, most rely on keypoint detection models trained on species-specific, experiment-specific, manually annotated data. To address this limitation, we have developed a species-agnostic video processing methodology that exploits the emergent properties of object segmentation and image-embedding foundation models. To make our methods accessible to scientists, we built DETAIL. With DETAIL, users can discover, label, and analyze detailed behaviors on anything from mice to snow crabs. All with zero manual annotation.

Power-Adaptive Datacenter Design, Jonggyu Park

Abstract: The rapid growth of AI and cloud computing is driving unprecedented demand for datacenter power. At the same time, fluctuating workloads and increasingly dynamic power availability pose new challenges for efficient datacenter operation. In this talk, I will present my research on power-adaptive datacenter design, focusing on predictive power management for general-purpose compute servers. I will introduce PIP (Prediction-Informed Power Management), which predicts the power impact of resource configurations before applying them, enabling rapid adaptation to changing power budgets while maximizing power utilization and application performance. I will also briefly discuss my work on power-adaptive storage and elastic memory systems, and conclude with my vision for full-stack power-adaptive datacenters that coordinate compute, storage, and memory resources under dynamic power constraints.

Data Management & AI (Gates Center, Room 371 )

Introduction and Overview, Magda Balazinska

R3Con: Context Representation for Complex Question Answering over Large Corpora, Michael Theologitis

Abstract: Coming soon

KathDB-FAO: Efficient Question Answering over Multimodal Data via Code Generation and Optimization, Guorui Xiao

Abstract: Coming soon

How People Debug Complex SQL with LLMs: A Qualitative Study, Nicole Sullivan

Abstract: Coming soon

AI for Health (Gates Center, Zillow Commons)

Introduction and Overview, Jason Hoffman

3:55-4:15: EvoClinician: Self-Evolving System for White-Box Multimodal Clinical Reasoning, Yongkang Li

Abstract: Coming soon

Dissecting and Directing Pathology Foundation Models, Chanwoo Kim

Abstract: Foundation models (FMs) are central to recent advances in digital pathology, encoding histology images into dense embeddings for diagnostic classification, molecular alteration prediction, and clinical outcome modeling. However, the opacity of these embeddings renders such systems “black boxes,” limiting their clinical translation and scientific utility. Here, we introduce PICASSO (Pathology Image Concept Atlas built via SparSe dictiOnary learning), a framework that makes pathology FMs interpretable and controllable. It decomposes FM embeddings into human-interpretable visual concepts using a sparse autoencoder, a form of dictionary learning. Trained on more than 120 million tissue patches across 32 cancer types, PICASSO produces the first pan-cancer atlas of histomorphological concepts. Beyond interpretation, PICASSO enables concept editing, the targeted manipulation of concepts to interrogate and control model behavior. These capabilities enable diverse applications, including model auditing, biological discovery, and in silico interventions. PICASSO transforms FMs from black-box predictors into interpretable and controllable models that support biological insight, hypothesis generation, and virtual experimentation.

PeriPulse: Open-Ear Headphones for Robust Heart Rate Sensing During High-Intensity Exercise, Cynthia Dong

Abstract: Live cardiovascular monitoring has potential to unlock new interactive health experiences, but motion artifact noise and limited form factor options prevent users from accessing high-accuracy sensing. Leveraging the popularity of open-ear headphones and their unique contact pressure, advantageous physiological positioning, and potential for audio interaction, we present \device, an accurate, motion-robust headset which integrates neatly into users’ existing habits. We iteratively designed PeriPulse based on in-lab studies, then collected and trained models on a high-intensity exercise dataset of 29 participants, extracting heart rate with an error of 8.11 +- 8.30 BPM. We then deploy models for real-time heart rate estimation and generate audio-based heart zone alerts with 9 participants. Users found the system accurate (error: 5.03 +- 2.16 BPM), appreciated verbal notifications over visual interfaces for zone training, and saw potential to consolidate other trackers into their headphones. Our results illustrate \device’s capacity for motion-robust sensing, and suggest opportunities for innovative end-user applications.


Evening

Open House: Reception + Poster Session

Time: 5:00 – 7:00 p.m.
Location: Allen Center, Microsoft Atrium

View the Poster Session participants

Flex-π: A Multi-Stream World-Action Model with Compute Flexibility
Authors: Ge Yan, Jinghao Liu, Yuzhi Fan, Lei Cai, Minwen Liao, Jesse Zhang, Dieter Fox
Presenter: Ge Yan
Lab/Research Area: RSE Lab, Robotics

Abstract: Developed Flex-π, a world-action model that jointly predicts future appearance, 3D geometry, and object semantics in one shared latent space, addressing a key limitation of existing world models that rely on RGB video alone. A single checkpoint runs either as a fast action-only policy or as a full world model, letting users trade latency for accuracy at deployment without retraining. On a real bimanual robot, it outperforms the strongest baselines by 2–6× on precise, dexterous tasks, including a robot repairing its own gripper with tight-margin insertions, and the full code, data, and models are open-sourced.


When Agents Slow Down: Understanding LLM Agents’ Test-Time Strategies via Elo-per-token Analysis
Authors: Kaiyuan Liu, Qiuyang Mang, Bo Peng, Wenhao Chai, Hanchen Li, Shreyas Pimpalgaonkar, Luke Zettlemoyer, Alex Dimakis, Alvin Cheung
Presenter: Kaiyuan Liu
Lab/Research Area: ZLab

Abstract: Large language model (LLM) agents allocate test-time compute adaptively as they revise solutions, use tools, explore alternatives, and decide when to stop. This test-time strategy makes it difficult to measure how agent performance scales. We study open-ended tasks that provide continuous scores for intermediate submissions, making progress observable throughout long trajectories. We propose Elo-per-token analysis, which tracks the best solution found at each token budget and uses a Bradley-Terry model to aggregate within-task orderings into Elo ratings across tasks with different score scales. We apply it to four general-purpose agents on four open-ended benchmarks, with sessions of up to 100M tokens, and to three feedback-driven LLM optimization harnesses in controlled single-task interventions. Independent sampling provides a theoretically characterized reference, for which Elo grows linearly with log compute. Against this reference, agents can initially convert tokens into Elo faster than independent sampling, but their marginal gains diminish and eventually fall below the reference. In contrast, the strongest historical human contestants improve superlinearly over contest time on shared AtCoder Heuristic Contest tasks, providing evidence of continual learning and substantial headroom after agents slow down. We define the scaling inflection point as the per-session budget where marginal Elo gains match the independent-sampling reference. Using this point as the per-session budget, we split 100M tokens across parallel sessions on FrontierCS Polyomino Packing, gaining +264 Elo over one long session and +355 over ten short sessions.


Forty Shades of Blue: Quality-Diversity Alignment via Mode-Conditioned Reinforcement Learning
Authors: Jiayi Yuan, Hangoo Kang, James Jihao Liu, Yejin Choi, Vikram Iyer, Liwei Jiang, Natasha Jaques
Presenter: Jiayi Yuan
Lab/Research Area: SocialRL Lab

Abstract: We present MoDA (Mode-conditioned Diversity Alignment), an online post-training RL algorithm that jointly optimizes generation quality and diversity, inspired by the coordination perspective in multi-agent reinforcement learning (MARL). MoDA trains a single shared LLM policy conditioned on abstract numbered roles, where each role acts as an agent competing to produce outputs distinct from the others. This formulation encourages mode-conditioned agents to explore complementary regions of the high-quality output space without requiring hand-crafted personas or architectural modifications.


Title: AutoSciency: Mapping Knowledge Gaps in Embedding Space
Authors: Jiayi Yuan, Aarav Talati, Emma Huang, Sota Kobata
Presenter: Jiayi Yuan
Lab/Research Area: SocialRL

Abstract: Prior work shows that unexpected combinations of content and context can predict impact, while some embedding methods provide scientific document embeddings for downstream tasks [4]. Our project builds on these ideas by asking whether gaps in embedding space can be translated into human-readable research hypotheses.


ArtScape: Detecting, Characterizing, and Interactively Exploring Urban Art at Scale Using Vision Language Models
Authors: Lucy Jiang, Jared Hwang, Jon E. Froehlich
Presenter: Jared Hwang
Lab/Research Area: Makeability Lab (HCI)

Abstract: Urban art brings cultural expression, community identity, and aesthetic enrichment to cities. Currently, there are no systematic ways of exploring urban art at scale. We introduce ArtScape, a VLM-based interactive tool that lets users view, search, filter, and tour four categories of art (murals, mosaics, sculptures, graffiti). To comprehensively and automatically detect urban artwork throughout a region, we designed a custom five-stage pipeline that uses VLMs to detect and describe urban artwork within 360° panoramic Street View images, achieving a micro-F1 of 0.83 on an urban art dataset we labeled. ArtScape categorizes, describes, and scores the reachability and interestingness of each artwork while deduplicating based on proximity and similarity. We evaluated this tool with 12 participants spanning urban planners, artists, sighted users, and blind and low vision users. Our findings show that ArtScape’s at-scale AI artwork curation enables granular and aggregate urban art discovery, thereby helping people learn about their communities and city-wide trends, motivating in-person urban exploration, and expanding perceptions of what constitutes urban art.


How People Debug Complex SQL With LLMs: A Qualitative Study
Authors: Nicole Sullivan, Ella Cao, Leilani Battle, Magda Balazinska
Presenter: Nicole Sullivan
Lab/Research Area: Database Group

Abstract: We lack a fundamental understanding of how LLMs impact the SQL query debugging workflow. In response, we conducted a user study with 16 participants of varying SQL expertise, examining how they debug complex SQL queries with and without LLM support. Qualitative analyses of our study data revealed that while participants trusted the LLM, they varied widely in how and whether they delegated debugging tasks to the LLMs. Additionally, participants enforced specific collaborative roles for the LLM such as TA or sounding board, which participants controlled by withholding context from the LLM. These findings suggest that LLM-based tools could enable preset role selection, broader context management, and flexible automation features, including low automation options, to support SQL debugging moving forward.


FlexiCodes: Embedded De Bruijn Patterns for Deformation Tracking on Elastic 3D-Printed Objects with a Monocular Camera
Authors: Daniel Campos Zamora, Raiden Santos*, Ria Agarwal*, Jerry Cao, Jon Froehlich, Chang Xiao
Presenter: Daniel Campos Zamora
Lab/Research Area: Makeability Lab, HCI

Abstract: Non-rigid interfaces allow for soft, deformable inputs using malleable materials, which enable interactions that would be infeasible with traditional rigid controllers. However, tracking and decoding the deformations typically requires embedded sensing hardware or complex external setups (e.g., stereo cameras, calibrated projector setups). We present FlexiCodes a novel approach to deformable interaction that leverages 3D printing to embed De Bruijn patterns onto elastic objects and computer vision to track surface deformation. Our three-part system consists of design, fabrication, and computer vision components that allow for vast design possibilities for flat and volumetric forms, preserve the ability to tune mechanical properties, and enables live interactions, respectively. We perform a technical evaluation and validate our approach through a series of proof-by-demonstration scenarios.


Thinking while Speaking: Inference-Time Knowledge Transfer for Responsive and Intelligent Conversational Voice Agents
Authors: Zachary Englhardt
Presenter: Zachary Englhardt, Justin Chae, Bilal Bhurgri
Lab/Research Area: Ubicomp Lab

Abstract: Voice agents face a fundamental tension. The reasoning, retrieval, and tool use that make foundation models capable are iterative and slow, while conversation demands responses on a millisecond timescale. Small real-time models meet the latency bar but cannot match foundation models on complex tasks, leaving current voice agents to trade away either responsiveness or capability. We introduce conversational infill, in which a small Talker model both immediately generates contextually grounded responses to hide the latency of an external Reasoner model and fluently integrates streamed Reasoner knowledge into its responses during inference. We curate a 290,571-example synthetic dataset spanning six domains and show that the task is learnable across seven widely used small language models ranging from 135M to 1.7B parameters. Our system, ConvFill, sustains millisecond-level time-to-first-response while closing the accuracy gap to within 6.3% of the corresponding frontier Reasoner. In a live user study on Apple M2 hardware (n=18), participants rated ConvFill on par with frontier models overall, preferred it for retrieval tasks, and ranked it significantly more responsive.


GazeRL: Cognitive Reward Shaping for Scanpath Prediction
Authors: Jiexin Ding, Xinyun Liu, Ruotong Yu, Zhihan Zhang, Shwetak Patel, Yue Jiang, Akshay Gadre
Presenter: Jiexin Ding
Lab/Research Area: Ubicomp Lab

Abstract: GazeRL fine-tunes a vision-language model (Qwen2.5-VL-3B) to predict human visual-search scanpaths using reinforcement learning with cognitively grounded rewards: decaying bottom-up saliency, ramping top-down semantics, and object-level inhibition of return. On COCO-Search18, it produces scanpaths that are both accurate and human-like diverse, ranking best or second-best on every metric that survives our audit.


Enabling Minimally Perturbative Nanopore Protein Sequencing through Modular Adapter Conjugation
Authors: Kingsley Wong, Mattias Tolhurst, Ron Shanderson, Daphne Kontogiorgos-Heintz, Lacramioarra Bintu, Jeff Nivala
Presenter: Guorui Xiao
Lab/Research Area: Molecular Information Systems Laboratory (MISL)

Abstract: Nanopore-based protein sequencing offers a promising approach for single-molecule protein analysis, but its broader applicability may be limited by the need to fuse target proteins to bulky sequencing adapters that can interfere with native protein function. This project develops a modular adapter conjugation strategy to separate target protein expression from sequencing adapter incorporation, enabling adapters to be attached after protein production and prior to nanopore sequencing. By decoupling these steps, the approach aims to preserve target protein functionality while meeting the structural requirements of the ClpX-mediated nanopore sequencing platform. This strategy provides a foundation for more flexible library preparation and may facilitate the application of nanopore protein sequencing to a wider range of biologically relevant proteins.


CapSleeve: A Smart Rehabilitation Tool
Authors: Abhinav Komanduri, Richard Li, Alexander H. Nelson, Shwetak Patel
Presenter: Abhinav Komanduri
Lab/Research Area: Ubicomp Lab

Abstract: Physical rehabilitation depends on frequent clinic visits and guided feedback that many patients can’t easily access. CapSleeve is a low-cost textile elbow sleeve that fuses capacitive sensing with IMUs to track arm motion and muscle activation, and our preliminary prototype shows distinct signals for hand and muscle activity, a first step toward at-home rehab with automated session summaries.


AI Iteratively Optimizing AI via Real Hardware Feedback
Authors: Zhihan Zhang, Alexander Metzger, Jiuyang Lyu, Chun-Cheng Chang, Jiayi Shao, Yujia Liu, Emmanuel Azuh Mensah, Edward Wang, Kurtis Heimerl, Gregory D Abowd, Shwetak Patel, Natasha Jaques, Vikram Iyer
Presenter: Zhihan Zhang
Lab/Research Area: Ubicomp, LLM, Physical AI

Abstract: As AI moves into the physical world, from robots to sensors to wearables, models increasingly must run on the device itself. A wearable cannot always send private health data to the cloud, and a camera trap in the wilderness may have no connection at all. Fitting a model onto a tiny edge device means simultaneously meeting hard limits on memory, power, and temperature while preserving accuracy. This is performed manually by experts today, and each new device or model means starting over. AI agents now write software well because code can be run and checked instantly. Physical systems are different. Their behavior depends on the real hardware, and simulations often fail, a problem robotics calls the sim-to-real gap. We found the same gap here: frontier models fail entirely without hardware feedback (0% deployment success).
To close this gap, we built a hardware-in-the-loop environment in which the agent iteratively refines both model and device firmware by measuring on real hardware. With this feedback, the agent surpasses human expert results within seven iterations. We demonstrate practical impact in two real-world deployments, developed in direct collaboration with domain practitioners: an elk-detection camera trap, with 250× compression for the vision model and under 3.3% accuracy loss; and a phonetic-transcription wearable for child development research, with 400× compression for the audio model and under 6% feature error rate loss.


ArtScape: Detecting, Characterizing, and Interactively Exploring Urban Art at Scale using Vision Language Models
Authors: Lucy Jiang, Jared Hwang, Jon E. Froehlich
Presenter: Jared Hwang
Lab/Research Area: Makeability Lab, HCI

Abstract: Urban art brings cultural expression, community identity, and aesthetic enrichment to cities. Currently, there are no systematic ways of exploring urban art at scale. We introduce ArtScape, a VLM-based interactive tool that lets users view, search, filter, and tour four categories of art (murals, mosaics, sculptures, graffiti). To comprehensively and automatically detect urban artwork throughout a region, we designed a custom five-stage pipeline that uses VLMs to detect and describe urban artwork within 360° panoramic Street View images, achieving a micro-F1 of 0.83 on an urban art dataset we labeled. ArtScape categorizes, describes, and scores the reachability and interestingness of each artwork while deduplicating based on proximity and similarity. We evaluated this tool with 12 participants spanning urban planners, artists, sighted users, and blind and low vision users. Our findings show that ArtScape’s at-scale AI artwork curation enables granular and aggregate urban art discovery, thereby helping people learn about their communities and city-wide trends, motivating in-person urban exploration, and expanding perceptions of what constitutes urban art.


Realize What Matters: Principled Context Representation for Large-Scale Reasoning
Authors: Michael Theologitis, Dean Light, Shuyue Stella Li, Benjamin Newman, Yulia Tsvetkov, Dan Suciu
Presenter: Michael Theologitis
Lab/Research Area: NLP, Data Management

Abstract: Solving complex tasks in domains such as science, medicine, law, and finance often requires assembling interdependent information scattered across vast, heterogeneous sources far beyond model context limits. Existing approaches tackle this challenge by organizing information into more manageable representations over which models can reason, such as graphs, textual memories, and retrieval collections. These representations dictate what downstream reasoning is possible and, ultimately, whether it succeeds; yet their design and construction remain largely ad hoc. In this work, drawing on the cognitive theory of relevance realization, we propose concrete principles for designing AI systems that construct effective representations of very large contexts. We analyze existing approaches and show how their successes and failures can be explained by their alignment with these principles, and introduce R3Con, a harness that systematically operationalizes them. We evaluate R3Con against nine state-of-the-art baselines on two recent benchmarks of reasoning over large document corpora. On these benchmarks, R3Con substantially outperforms the strongest baseline, by 20 and 8.4 percentage points. It also enables smaller models to outperform much larger ones: R3Con with 4B and 9B models outperforms all evaluated 35B baselines, while R3Con with Qwen3.5-35B-A3B outperforms Claude Code with Claude-Sonnet-5 at 3.7× lower cost. Our results show that context representations following our principled approach can reduce reliance on model scale, pointing toward a future of AI systems with frontier-level performance powered by smaller models.


Bicameral: Memory-Efficient Transformer via Latent Tensor Rematerialization
Authors: Zhongyi Kurt Gu, Vikram Iyer, Mark Oskin
Presenter: Kurt Gu
Lab/Research Area: Computer Systems, Machine Learning

Abstract: Memory capacity limits the size of language models that can be trained and served. We introduce Latent Tensor Rematerialization (LTR), which generates each weight matrix on demand from compressed latent vectors with small learned generators, and in doing so converts a standard matrix into a recomputable activation. This reduces memory usage by directly storing fewer parameters and optimizer states, as an alternative to lowering precision. We validate the effectiveness of LTR with Bicameral, a LLaMA-style transformer architecture whose weight matrices are generated on demand by small decoders. Trained on 2B effective parameters to 40B tokens, Bicameral matches the uncompressed baseline on perplexity and zero-shot benchmarks, while reducing stored parameters by 50% and training memory usage by up to 48%.


On-device AI
Authors: Stefany Cruz, Junxi Xia, Franklin Li, Rahaf Alharbi, Vikram Iyer, Stephen Xia
Presenter: Stefany Cruz
Lab/Research Area: Iyer Lab/ Ubicomp

Abstract: Co-designed with urban communities across four cohorts seeking better situational awareness against incidents of crime, Patronus is a body-worn system that identifies and continuously localizes sounds like approaching footsteps.


Where to Steer: Input-Dependent Layer Selection for Steering Improves LLM Alignment
Authors: Soham Gadgil, Chris Lin, Su-In Lee
Presenter: Soham Gadgil
Lab/Research Area: AIMS Lab, LLM Alignment

Abstract: Steering vectors have emerged as a lightweight and effective approach for aligning large language models (LLMs) at inference time, enabling modulation of model behaviors by shifting intermediate representations toward a target behavior. Many existing steering methods apply interventions at globally fixed locations in an LLM, effectively treating the optimal intervention location as input-invariant. However, representations relevant to a target behavior can be encoded at different LLM layers depending on the input. Theoretically, we show that different inputs may require steering at different layers to achieve alignment with a given behavior. Empirically, we observe that the most effective layer for steering varies substantially between inputs. Motivated by these observations, we introduce Where to Steer (W2S), a general framework that adaptively selects intervention layers conditioned on the inputs by learning a mapping from input representations to steering layers. Across multiple LLMs and alignment behaviors, W2S consistently outperforms fixed-layer baselines in both in-distribution and out-of-distribution settings. Our findings suggest that input-dependent layer selection is a key design dimension complementary to methods for steering vector extraction.


PeriPulse: Open-Ear Headphones for Robust Heart Rate Sensing During High-Intensity Exercise
Authors: Cynthia Dong, Liam Bakar, Andy Ye, Noel Prince Muthuplakal, Zimo Chen, Kurtis Heimerl, Shwetak Patel, Richard Li
Presenter: Cynthia Dong
Lab/Research Area: Ubicomp

Abstract: Live cardiovascular monitoring has potential to unlock new interactive health experiences, but motion artifact noise and limited form factor options prevent users from accessing high-accuracy sensing. Leveraging the popularity of open-ear headphones and their unique contact pressure, advantageous physiological positioning, and potential for audio interaction, we present PeriPulse, an accurate, motion-robust headset which integrates neatly into users’ existing habits. We iteratively designed PeriPulse based on in-lab studies,
then collected and trained models on a high-intensity exercise dataset of 29 participants, extracting heart rate with an error of 8.11±8.30 BPM. We then deploy models for real-time heart rate estimation and generate audio-based heart zone alerts with 9 participants.
Users found the system accurate (error: 5.03±2.16 BPM), appreciated verbal notifications over visual interfaces for zone training, and saw potential to consolidate other trackers into their headphones. Our results illustrate PeriPulse’s capacity for motion-robust sensing,
and suggest opportunities for innovative end-user applications.


Misalignments in Generative Protein Design: Thermodynamic Filtering Fails to Predict Specificity
Authors: Safwan Diwan, Mattias Tolhurst, Jeff Nivala
Presenter: Safwan Diwan
Lab/Research Area: MISL

Abstract: Generative protein design models frequently produce high-confidence binders in silico, yet wet-lab evaluation demonstrates that these binders often lack the expected biochemical specificity. To probe the boundary conditions of current design and evaluation pipelines, we present a pilot failure-mode analysis by designing binders for asparagine deamidation. This single-residue modification consists of an electrostatic charge shift that can act as a rigorous test of highly specific binder design. When evaluating our designs against this target using a custom in vivo split-spGFP biosensor, we identified a confounding pipeline misalignment. While binding was achieved after target optimization, binding specificity was inverted compared to Rosetta’s thermodynamic predictions. Curiously, retrospective cross-architecture analysis, using multiple folding models, revealed AlphaFold 3 correctly predicted the in vivo specificity natively. However, this prediction would have been overridden by the commonly used DDG thermodynamic metric used for evaluation. Ultimately, this case study demonstrates that appending standard thermodynamic filters to generative outputs can potentially degrade pipeline reliability. This exposes flaws both in generative models and in how post-hoc scoring weighs theoretical electrostatic rewards against energetic binding penalties.


Smart Suction Cups with Capacitive Tactile Sensing
Authors: Alex Choi, Le Minh Anh Nguyen, Paolo Torrado, Tim Amish, Sara Mouradian, Joshua Smith
Presenter: Alex Choi
Lab/Research Area: Sensor Systems Lab, Robotic Manipulation

Abstract: Grasping in industrial warehouse environments can often lead to the occlusion of vision systems. To address this, we developed an add-on sensor system for commercially available suction cups which enables tactile sensing. We use this new sensing modality to improve the pick rate of a robot arm compared to a vision-only baseline.


SpatialSelect: Text-selective binaural audio generation from video, with explicit azimuth control
Authors: Guilin Hu, Shwetak Patel
Presenter: Guilin Hu
Lab/Research Area: Ubicomp

Abstract: Video-to-audio models can now generate sound for a video, but they either render every source in a mono mix or produce binaural audio without letting the user pick which sound to generate. SpatialSelect does both. Given a video, a text prompt naming the target sound, and a requested direction, it generates binaural audio of only that sound, placed where the user wants it. SpatialSelect is a single flow-matching model with shared and per-ear transformer blocks.


Safe, Age-Appropriate GenAI for Children: Perspectives of Platforms, Parents & Children
Authors: Abhinaya S B, Meghna Gupta, Anupam Das, Jason Yip, Franziska Roesner
Presenter: Abhinaya S B
Lab/Research Area: Security and Privacy Research Lab; Online Safety

Abstract: Children’s use of generative AI is rapidly rising, driven by easy access to general-purpose chatbots, a growing ecosystem of child-specific GenAI apps, and increasing adoption of GenAI in educational contexts. However, parents have limited control over their children’s consumption of AI content, with non-standardized parental controls across tools and vague content filters. We systematically study the GenAI parental control ecosystem, identify what aspects of children’s GenAI interactions parents want to control, and how children’s desires align or contrast with those of parents. We extend this work to evaluate how guardrail models can be used to enforce parents’ topic-specific restrictions for their children.


Low-cost, Reliable, Self-Evolving Data Agent for Data Ingestion Tasks
Authors: David Alexander, Johannes Gehrke, Hossein Ahmadi, Magdalena Balazinska
Presenter: David Alexander
Lab/Research Area: Database

Abstract: Much of an organization’s data sits outside any database, in files of many formats. A coding agent can extract the tables from any such file, but it is expensive. A data engineer faced with the same problem might learn from extractions of previous files and be more efficient with future files. We ask how much freedom a data agent should get in learning and evolving itself to be more efficient in this data extraction task. We measure approaches on what it keeps as memory, how it organizes that memory, and when it updates it. On eight workloads with Claude Sonnet 5.5 and Opus 5.5, neither text nor code memory lowers cost much, because the agent still reads every file. An agent left to design its own harness lands anywhere from $5 to $210 on the same 200 files, with 39% to 65% of tables correct, which shows considerable variance. Proteus is a harness with a structured approach in evolution. It evolves learned extraction classes (a rule and a recipe each), a verifier that checks every extracted table, and a coder called only when no class matches or a check fails. Proteus matches the correctness of the no memory agent on every workload and is up to 6 times cheaper where many files share a class. Where nearly every file is its own class, writing reusable code (buying) every time costs more than writing one-off extraction (renting). We also investigate this buy vs. rent problem and create an approach which costs comparable to a rent-only agent on workload with few recurrences.


Symbolic Relations for Network Change Verification
Authors: Brody Franks (UW), Nicolas Koh (Princeton), Dan Wang (Xi’an Jiaotong University), Daniel Halperin (AWS), Zachary Kincaid (Princeton), Ratul Mahajan (UW), David Walker (Princeton)
Presenter: Brody Franks
Lab/Research Area: Systems, PLSE, DB

Abstract: We introduce a new language and engine for network change verification. Our tool: (1) verifies both the control plane and the data plane, in one general formalism, (2) enables customization of the data representation at a low level of granularity, while retaining the same frontend specification, (3) supports specialized data structures that hybridize concrete and symbolic verification and are efficient on real-world workloads. We apply our system to representative network-change scenarios, examining both its expressiveness and performance, showing that it checks symbolic relational specifications 25-541× faster than a general-purpose solver.


Secure Screening for DNA Hardware
Authors: Henry Wong, Tadayoshi Kohno, Jeff Nivala
Presenter: Henry Wong
Lab/Research Area: Security & Privacy, MISL

Abstract: DNA Benchtop Synthesizers allow consumer to print synthetic DNA. But what if a malicious actors tries to print a pathogenic sequence? Online screening on benchtops have been explored before by SecureDNA, but whether the screener is trustworthy and implementing a fail-off mechanism has yet to be explored. In my work I create a framework for secure hardware in benchtop synthesizers with an emphasis on securing the integrity of the screener on a benchtop synthesizer. At the end I provide why even with perfect secure hardware implementation, malicious synthesis is still possible and a difficult problem.


VibeSys: Self-Improving Bespoke Systems
Authors: Keisuke Kamahori, Shihang (Vic) Li, Simon Peter, Baris Kasikci
Presenter: Keisuke Kamahori
Lab/Research Area: SyFI Lab

Abstract: General-purpose systems often fail to fully exploit workload-specific characteristics and heterogeneous hardware, while manual specialization is costly and difficult to scale. We present VibeSys, a multi-agent framework that autonomously builds and continuously optimizes bespoke systems across the computing stack. Its first application, VibeServe, generates LLM serving systems tailored to specific models, hardware, and workloads through coordinated implementation, correctness evaluation, and performance optimization. VibeServe achieves up to 2.3× higher throughput than tuned SGLang on AMD MI300A GPUs and 2.7× higher throughput than the vLLM Neuron plugin on AWS Trainium2. We further demonstrate the potential of AI-driven system specialization in GPU megakernels, microservices, and concurrent data structures. Ongoing work integrates formal verification and simulation to improve reliability and accelerate automated system design.


GlucoScreen-C User Experience Demo
Authors: Jason Hoffman, Kristyna Kalisova, Ananya Vaidyaraman, Sanjana Satagopan, Qiulin Qu, Tammy Nguyen, Kate Muret, Shwetak Patel
Presenter: Kristyna Kalisova, Ananya Vaidyaraman, Sanjana Satagopan, Jason Hoffman
Lab/Research Area: Ubicomp Lab

Abstract: GlucoScreen-C, as a novel platform for smartphone-based test strips for biomarker screening, moves minimal hardware from the reader into the test strip device, allowing it to communicate the result of electrochemical biomarker detection reactions to the phone without incurring high cost or requiring extra hardware (beyond the test strip itself). This is the first of its kind, and starts to enable a new vision for healthcare where the smartphone becomes the center of testing.

With its common sensors, large touchscreen user interface, and familiar interaction patterns, this can become a much more approachable form of Rapid Diagnostic Testing (RDT) in the future. We invited the CHI community in 2026 to try our prototype demo and share their thoughts and ideas about the future of remote healthcare.


Making Food Access Visible Smart Sensor Monitoring of Grassroots Micro Pantries
Authors: Marianna Rivera, Jose Rivera, Stella Plavsic, Stefany Cruz, Vikram Iyer
Presenter: Marianna Rivera, Stella Plavsic
Lab/Research Area: Vikram Iyer – Micro Computers

Abstract: Community micro pantries have emerged as a grassroots approach to addressing food insecurity and reducing food waste in Seattle. However, the volunteers and organizations maintaining these sites often lack information about food availability, usage patterns, and storage conditions. Without this information, restocking decisions rely on periodic in-person check ins, making it difficult to respond to changing community needs. In this work, we present the design and deployment of a replicable sensing system for monitoring community micro pantries. Our system integrates weight, magnetic door, and temperature sensors to track changes in food availability, pantry access, and refrigerated storage conditions. We deployed 6 pantries across King County to investigate how sensing infrastructure can support more informed food management decisions and the long-term operation of community micro pantries. With 10,644 total pantry activity logs, we cross-compare each pantries performance to best understand how to make each technology probe more resilient against realistic environmental factors faced during the testing period of February to October 2026. We also draw parallels between community micro pantries and other similar community infrastructure to better understand how varying neighborhood socioeconomic factors may improve or hinder the operations of these initiatives.


Extubation Failure Detection Using Acoustic Biomarkers
Authors: Alex Ching, Shwetak Patel, Sarah Wahlster, James Town
Presenter: Alex Ching
Lab/Research Area: Ubicomp Lab

Abstract: Patients who have been intibated due to trauma will often need to be reintubated due to a variety of factors. We are exploring the detection of this extubation failure by utilizing a custom audio recording pipeline and developing a ML pipeline to extract features that can be used for a classification model. We are currently running a study with our partners at Harborview Medical Center for this pilot study.


Social Harness
Authors: Tapan Chugh, Reshabh K. Sharma, Arvind Krishnamurthy, Ratul Mahajan
Presenter: Tapan Chugh
Lab/Research Area: Systems / Agent Infrastructure

Abstract: The Internet will soon have trillions of agents interacting across trust boundaries. Making these interactions efficient and secure requires new infrastructure. Our research reveals a critical gap: today agents can reason and use tools, but they struggle to represent their owners’ interests and defend against manipulation when interacting with other agents. We are building a “social harness” that enables agents to communicate, negotiate, and transact efficiently and safely.


Tilo: Learned Tree Search and Reactive Control for Cluttered Scene Non-Prehensile Manipulation
Authors: Paolo Torrado, Jack Lowry, Joshua Levin, Joshua Migdal and Joshua Smith
Presenter: Paolo Torrado
Lab/Research Area: Sensor Systems Lab

Abstract: Robotic manipulation in cluttered scenes with tree search to warm start model predictive control.

Madrona Prize, People’s Choice Awards

Time: 7:15 – 7:30 p.m.
Location: Allen Center, Microsoft Atrium,

Back to top